<HTML><HEAD>
<META NAME="copyright" CONTENT="Copyright (c) 1986-2008, Eiffel Software and others">
<META NAME="license" CONTENT="Eiffel Forum License v2 (see forum.txt)">
<META NAME="description" CONTENT="Contiguous integer intervals">
<META NAME="library" CONTENT="Free implementation of ELKS library">
<META NAME="keywords" CONTENT="Eiffel class">
<META NAME="keywords" CONTENT="Eiffel class">
<TITLE>integer_interval Chart</TITLE></HEAD>
<BODY BGCOLOR="white">
<P ALIGN="CENTER">Automatic generation produced by ISE Eiffel</P>
<PRE><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD>Chart</TD><TD><A HREF="integer_interval_links.html">Relations</A></TD><TD><A HREF="integer_interval_flatshort.html">Flat contracts</A></TD></TR></TABLE><B>class</B>
    <A HREF="../base/integer_interval_chart.html">INTEGER_INTERVAL</A>

<B>General</B>
    cluster: elks
    description: "Contiguous integer intervals"
    create: <A HREF="../base/integer_interval_flatshort.html#f_make">make</A>

<B>Ancestors</B>
    <A HREF="../base/indexable_chart.html">INDEXABLE</A>* [G, H -&gt; <A HREF="../base/integer_32_chart.html">INTEGER_32</A>]
    <A HREF="../base/resizable_chart.html">RESIZABLE</A>* [G]
    <A HREF="../base/set_chart.html">SET</A>* [G]

<B>Queries</B>
    <A HREF="../base/resizable_flatshort.html#f_additional_space">additional_space</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from RESIZABLE)</FONT>
    <A HREF="../base/integer_interval_flatshort.html#f_all_cleared">all_cleared</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/integer_interval_flatshort.html#f_as_array">as_array</A>: <A HREF="../base/array_chart.html">ARRAY</A> [<A HREF="../base/integer_32_chart.html">INTEGER_32</A>]
    <A HREF="../base/integer_interval_flatshort.html#f_capacity">capacity</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>
    <A HREF="../base/set_flatshort.html#f_changeable_comparison_criterion">changeable_comparison_criterion</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from SET)</FONT>
    <A HREF="../base/integer_interval_flatshort.html#f_count">count</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>
    <A HREF="../base/integer_interval_flatshort.html#f_exists">exists</A> (condition: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [<A HREF="../base/integer_32_chart.html">INTEGER_32</A>], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]): <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/integer_interval_flatshort.html#f_exists1">exists1</A> (condition: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [<A HREF="../base/integer_32_chart.html">INTEGER_32</A>], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]): <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/integer_interval_flatshort.html#f_extendible">extendible</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/integer_interval_flatshort.html#f_for_all">for_all</A> (condition: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [<A HREF="../base/integer_32_chart.html">INTEGER_32</A>], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]): <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/bounded_flatshort.html#f_full">full</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from BOUNDED)</FONT>
    <A HREF="../base/resizable_flatshort.html#f_growth_percentage">Growth_percentage</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from RESIZABLE)</FONT>
    <A HREF="../base/integer_interval_flatshort.html#f_has">has</A> (v: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>): <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/integer_interval_flatshort.html#f_hold_count">hold_count</A> (condition: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [<A HREF="../base/integer_32_chart.html">INTEGER_32</A>], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]): <A HREF="../base/integer_32_chart.html">INTEGER_32</A>
    <A HREF="../base/integer_interval_flatshort.html#f_index_set">index_set</A>: <A HREF="../base/integer_interval_chart.html">INTEGER_INTERVAL</A>
    <B>infix</B> "@" (i: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>): <A HREF="../base/integer_32_chart.html">INTEGER_32</A>
    <A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FINITE)</FONT>
    <A HREF="../base/integer_interval_flatshort.html#f_is_equal">is_equal</A> (other: [<B>like</B> <B>Current</B>] <A HREF="../base/integer_interval_chart.html">INTEGER_INTERVAL</A>): <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/collection_flatshort.html#f_is_inserted">is_inserted</A> (v: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from COLLECTION)</FONT>
    <A HREF="../base/integer_interval_flatshort.html#f_item">item</A> <B>alias</B> "[]" (i: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>): <A HREF="../base/integer_32_chart.html">INTEGER_32</A>
    <A HREF="../base/integer_interval_flatshort.html#f_linear_representation">linear_representation</A>: <A HREF="../base/linear_chart.html">LINEAR</A> [<A HREF="../base/integer_32_chart.html">INTEGER_32</A>]
    <A HREF="../base/integer_interval_flatshort.html#f_lower">lower</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>
    <A HREF="../base/integer_interval_flatshort.html#f_lower_defined">lower_defined</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/resizable_flatshort.html#f_minimal_increase">Minimal_increase</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from RESIZABLE)</FONT>
    <A HREF="../base/container_flatshort.html#f_object_comparison">object_comparison</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from CONTAINER)</FONT>
    <A HREF="../base/integer_interval_flatshort.html#f_occurrences">occurrences</A> (v: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>): <A HREF="../base/integer_32_chart.html">INTEGER_32</A>
    <A HREF="../base/integer_interval_flatshort.html#f_prunable">prunable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/resizable_flatshort.html#f_resizable">resizable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from RESIZABLE)</FONT>
    <A HREF="../base/integer_interval_flatshort.html#f_subinterval">subinterval</A> (start_pos, end_pos: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>): [<B>like</B> <B>Current</B>] <A HREF="../base/integer_interval_chart.html">INTEGER_INTERVAL</A>
    <A HREF="../base/integer_interval_flatshort.html#f_upper">upper</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>
    <A HREF="../base/integer_interval_flatshort.html#f_upper_defined">upper_defined</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/integer_interval_flatshort.html#f_valid_index">valid_index</A> (v: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>): <A HREF="../base/boolean_chart.html">BOOLEAN</A>

<B>Commands</B>
    <A HREF="../base/integer_interval_flatshort.html#f_adapt">adapt</A> (other: <A HREF="../base/integer_interval_chart.html">INTEGER_INTERVAL</A>)
    <A HREF="../base/resizable_flatshort.html#f_automatic_grow">automatic_grow</A><FONT COLOR="red"> -- (from RESIZABLE)</FONT>
    <A HREF="../base/container_flatshort.html#f_compare_objects">compare_objects</A><FONT COLOR="red"> -- (from CONTAINER)</FONT>
    <A HREF="../base/container_flatshort.html#f_compare_references">compare_references</A><FONT COLOR="red"> -- (from CONTAINER)</FONT>
    <A HREF="../base/integer_interval_flatshort.html#f_copy">copy</A> (other: [<B>like</B> <B>Current</B>] <A HREF="../base/integer_interval_chart.html">INTEGER_INTERVAL</A>)
    <A HREF="../base/integer_interval_flatshort.html#f_do_all">do_all</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [<A HREF="../base/integer_32_chart.html">INTEGER_32</A>]])
    <A HREF="../base/integer_interval_flatshort.html#f_extend">extend</A> (v: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)
    <A HREF="../base/collection_flatshort.html#f_fill">fill</A> (other: <A HREF="../base/container_chart.html">CONTAINER</A> [<A HREF="../base/integer_32_chart.html">INTEGER_32</A>])<FONT COLOR="red"> -- (from COLLECTION)</FONT>
    <A HREF="../base/integer_interval_flatshort.html#f_grow">grow</A> (i: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)
    <A HREF="../base/collection_flatshort.html#f_prune_all">prune_all</A> (v: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from COLLECTION)</FONT>
    <A HREF="../base/integer_interval_flatshort.html#f_put">put</A> (v: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)
    <A HREF="../base/integer_interval_flatshort.html#f_resize">resize</A> (min_index, max_index: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)
    <A HREF="../base/integer_interval_flatshort.html#f_resize_exactly">resize_exactly</A> (min_index, max_index: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)
    <A HREF="../base/integer_interval_flatshort.html#f_wipe_out">wipe_out</A>

<B>Constraints</B>
    count definition
    index set is range
    not infinite

<TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD>Chart</TD><TD><A HREF="integer_interval_links.html">Relations</A></TD><TD><A HREF="integer_interval_flatshort.html">Flat contracts</A></TD></TR></TABLE></PRE>
<P ALIGN="CENTER"> &#045;&#045; Generated by ISE Eiffel &#045;&#045 </P>
<P ALIGN="CENTER">For more details: <A HREF="http://www.eiffel.com">www.eiffel.com</A></P>
</BODY>
</HTML>
